Chaos in the Kuramoto–Sivashinsky equations—a computer-assisted proof
نویسندگان
چکیده
منابع مشابه
Chaos in the Lorenz Equations: a Computer-assisted Proof
A new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with computer-assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics. Introduction The purpose of this...
متن کاملA Computer-Assisted Proof of Σ3-Chaos in the Forced Damped Pendulum Equation
The present paper is devoted to studying Hubbard’s pendulum equation ẍ+ 10ẋ+ sin(x) = cos(t) . By rigorous/interval methods of computation, the main assertion of Hubbard on chaos properties of the induced dynamics is lifted from the level of experimentally observed facts to the level of a theorem completely proved. A distinguished family of solutions is shown to be chaotic in the sense that on ...
متن کاملChaos in the Lorenz equations: A computer assisted proof. Part II: Details
Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with rigorous computer assisted computations. As an application of these methods it is proven that for some explicit parameter values the Lorenz equations exhibit chaotic dynamics.
متن کاملTowards Computer-Assisted Proof Tutoring
We present a recent application area of the proof assistant Ωmega, the teaching of mathematical proofs within an environment for tutorial dialog. We discuss the design of our dialog system prototype for proof tutoring in the light of the requirements imposed by its potential users. Empirical studies investigating those requirements guide the development of the system.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Differential Equations
سال: 2003
ISSN: 0022-0396
DOI: 10.1016/s0022-0396(03)00104-9